Automated planning and scheduling - PDFSEARCH.IO - Document Search Engine

Automated planning and scheduling
Results: 432

#	Item
191	Flexible Execution of Partial Order Plans With Temporal Constraints Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2013-11-29 11:25:30 Planning Domain Definition Language Runtime verification Coordination Linear temporal logic Modal logic Temporal logic Logic Philosophical logic Automated planning and scheduling
192	Appears A Softbot-Based Oren Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2000-11-13 17:00:13 Science Automated planning and scheduling Planner Planning Artificial intelligence Internet User interface Archy Logic programming Computing Technology Virtual reality
193	OBDD-based Planning with Real Variables in a Non-Deterministic Environment Anuj Goel and K. S. Barber Laboratory for Intelligent Processes and Systems The University of Texas At Austin Add to Reading List Source URL: idm-lab.org Language: English - Date: 2005-05-31 06:09:24 Planning Domain Definition Language NuSMV Texas Automated planning and scheduling Action language Geography of Texas
194	Learning HTN Method Preconditions and Action Models from Partial Observations Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2009-07-14 20:12:38 Artificial intelligence Mathematics Decomposition method Precondition Algorithm Applied mathematics Automated planning and scheduling Hierarchical task network Constraint programming
195	Probabilistic Planning vs Replanning Iain Little and Sylvie Thi´ebaux National ICT Australia & Computer Sciences Laboratory The Australian National University Canberra, ACT 0200, Australia Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2009-07-10 09:25:03 Automated planning and scheduling Planning Domain Definition Language Motion planning NP PP Indeterminism Probability Theoretical computer science Computational complexity theory Applied mathematics
196	Optimal Planning with Global Numerical State Constraints Franc Ivankovic, Patrik Haslum, Sylvie Thi´ebaux, Vikas Shivashankar and Dana S. Nau Optimisation Research Group, NICTA Dept. of Comp. Sci., and Inst. for Sys. Rs Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-03-14 07:54:37 Operations research Mathematical optimization Combinatorial optimization Convex optimization Heuristic function Planning Domain Definition Language Admissible heuristic A* search algorithm Linear programming Artificial intelligence Automated planning and scheduling Heuristics
197	A Planning Based Framework for Controlling Hybrid Systems Johannes L¨ohr, Patrick Eyerich, Thomas Keller and Bernhard Nebel Albert-Ludwigs-Universit¨at Freiburg Institut f¨ur Informatik Georges-K¨ohler-Allee[removed] Add to Reading List Source URL: gki.informatik.uni-freiburg.de Language: English - Date: 2012-05-24 11:02:21 Science Planning Domain Definition Language State space Mathematical model Discretization State variable LTI system theory Automated planning and scheduling State observer Mathematics Control theory Applied mathematics
198	10 Questions to Ask About Your Long-term Planning Process Minemax Pty Ltd August 2012 www.minemax.com Add to Reading List Source URL: www.minemax.com Language: English - Date: 2012-10-22 04:01:29 Scheduling Mathematical optimization Management Automated planning and scheduling Net present value Microeconomics AD OPT division of Kronos Business Operations research Planning
199	11 PLANNING In which we see how an agent can take advantage of the structure of a problem to construct complex plans of action. Add to Reading List Source URL: aima.cs.berkeley.edu Language: English - Date: 2002-11-14 09:04:38 Action description language Epistemology Knowledge representation STRIPS Planning Domain Definition Language Frame problem Artificial intelligence Automated planning and scheduling Logic programming
200	C o n s t r a i n t P r o g r a m m i n g Constraints and AI Planning Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2005-12-27 13:41:27 Computer programming Constraint satisfaction Constraint graph Local consistency Logic programming Constraint optimization Hierarchical task network Bart Selman Automated planning and scheduling Constraint programming Software engineering Theoretical computer science